下图所示的非确定有限自动机 (S0为初态，S3为终态)可识别字符串( )。